From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification Frank Hilken1 , Philipp Niemann1 , Martin Gogolla1 , and Robert Wille1,2 1

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• ISO standards
• Architecture description language
• Object Constraint Language
• Class diagram
• ECO
• Object Process Methodology
• Metamodeling
• Element
• Diagram
• Activity diagram
• Object diagram

Iterative Development of Transformation Models by Using Classifying Terms (short paper) Frank Hilken1 Loli Burgueño2

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Engineering
• Systems science
• Software engineering
• Model transformation
• Model theory
• Metamodeling
• Object Process Methodology
• Scientific modelling

Language Modeling for Spoken Dialogue System based on Sentence Transformation and Filtering using Predicate-Argument Structures Koichiro Yoshino∗ and Shinsuke Mori∗ and Tatsuya Kawahara∗ ∗

Source URL: www.ar.media.kyoto-u.ac.jp

Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimar˜aes, Alcino Cunha HASLAB — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal {nfmmacedo,tguimaraes,alcino}@di.umi

Source URL: alfa.di.uminho.pt

• Unified Modeling Language
• Systems engineering
• Software engineering
• Computing
• Systems science
• Object Constraint Language
• Metamodeling
• Model-driven architecture
• Platform-specific model
• Object Process Methodology
• MMT
• QVT

Transformation Monoids in Programming Language Semantics Uday S. Reddy1 1 University of Birmingham

Source URL: www.maths.manchester.ac.uk

Adapting Scheme-Like Macros to a C-Like Language Kevin Atkinson Matthew Flatt University of Utah, School of Computing

Source URL: scheme2011.ucombinator.org

• Software engineering
• Computer programming
• Computing
• Source code
• Transformation languages
• C
• Functional languages
• Hygienic macro
• Scheme
• Syntax
• Macro
• Make

PDF Document

Source URL: alfa.di.uminho.pt

• Unified Modeling Language
• Systems engineering
• Metamodeling
• QVT
• Model-driven engineering
• Entityrelationship model
• Object Constraint Language
• ATLAS Transformation Language

Delft University of Technology Software Engineering Research Group Technical Report Series Spoofax: An Extensible, Interactive Development Environment for Program

Source URL: swerl.tudelft.nl

• Stratego/XT
• Program transformation
• ASF+SDF Meta Environment
• Stratego
• Eclipse
• ECL programming language
• Domain-specific language
• Emacs
• Code refactoring
• Software
• Computing
• Transformation languages

Delft University of Technology Software Engineering Research Group Technical Report Series Fusing a Transformation Language with an Open Compiler

Source URL: swerl.tudelft.nl

• Programming language implementation
• Transformation languages
• Program transformation
• ASF+SDF Meta Environment
• Compiler
• Principal component analysis
• Domain-specific language
• S0
• Type system
• Computing
• Software engineering
• Programming language theory

Harvesting Software Systems for MDA-Based Reengineering Thijs Reus1 , Hans Geers2 , and Arie van Deursen3 1 3

Source URL: www.st.ewi.tudelft.nl

• Model-driven architecture
• Meta-Object Facility
• XML Metadata Interchange
• Metamodeling
• Object Management Group
• Java Metadata Interface
• Eclipse Modeling Framework
• ATLAS Transformation Language
• VIATRA
• Unified Modeling Language
• Software engineering
• Software